Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
71	Do Not Blame Users for Misconfigurations Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan∗ , Yuanyuan Zhou, Shankar Pasupathy† University of California, San Diego, ∗ University Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-11-10 14:09:17 Computer data Type theory Cross-linked polyethylene Electricity Plastics Configuration file Parameter Go Symbolic execution Default Type inference
72	Ambivalent Types for Principal Type Inference with GADTs Jacques Garrigue1 and Didier R´emy2 1 Nagoya University, Graduate School of Mathematics Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:37:28 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Orbifold Symbol
73	Tuning Approximate Computations with Constraint-Based Type Inference Brett Boston Adrian Sampson Add to Reading List Source URL: sampa.cs.washington.edu Language: English - Date: 2014-02-24 13:22:37
74	Helium, for Learning Haskell Bastiaan Heeren Daan Leijen Arjan van IJzendoorn Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-02-20 14:04:58 Software engineering Computer programming Programming language theory Functional languages Type theory Data types Functional programming Literate programming Haskell Type class Type inference OCaml
75	TYPE INFERENCE François Pottier The Programming Languages Mentoring Workshop @ ICFP August 30, 2015 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2015-09-06 06:15:42
76	A Framework for Implementing Type Systems Brian Dorn and Gary T. Leavens TR #07-12a JulyKeywords: Type inference, type checking, Scheme language, Typedscm language. Add to Reading List Source URL: faculty.ist.unomaha.edu Language: English - Date: 2011-07-18 11:55:51
77	Refinement Type Inference via Horn Constraint Optimization Kodai Hashimoto and Hiroshi Unno (University of Tsukuba, Japan) Our Goal: Path-‐Sensitive Prog Add to Reading List Source URL: www.cs.tsukuba.ac.jp Language: English - Date: 2015-09-16 11:36:26
78	Type Inference Against Races Cormac Flanagan1 and Stephen N. Freund2 1 Dept. of Computer Science, University of California at Santa Cruz, Santa Cruz, CA 95064⋆ 2 Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:20
79	ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-08 17:06:02 Data types Type theory Java Concurrent programming languages Object-oriented programming languages Immutable object Const Final Subtyping Scala Type qualifier Takes
80	Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-07 13:53:07 Software engineering Type theory Programming language theory Computing Subtyping Type system System F HindleyMilner type system ML Type inference Typeof Is-a

UPDATE